<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
    <link rel="stylesheet" href="css/bootstrap.min.css">
    <link rel="stylesheet" href="css/main.css">
    <link rel="stylesheet" href="css/now-ui-kit.css">
    <link rel="stylesheet" href="css/style.css">
    <link href="https://fonts.googleapis.com/css?family=Poppins:300,400,600,700,800,900&display=swap" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css?family=Montserrat:400,600,700,800,900&display=swap" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css?family=Lato:300,400,600,700,800,900&display=swap" rel="stylesheet">
    <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.6.0/jquery.js"></script>
    <!-- <script type="text/javascript" src="js/math-core.js"></script> -->

    <title>BUAALogic</title>
</head>

<body>
    <nav class="navbar navbar-expand-lg bg-transparent">
        <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
        <img src="assets/menuIcon.svg" width="20px" height="20px" style="max-width: none !important;">
    </button>
        <img src="assets/math_white.svg" width="50" height="50">
        <div class="collapse navbar-collapse" id="navbarSupportedContent" style="margin-left: 20px !important">
            <ul class="navbar-nav mr-auto">
                <li class="nav-item active">
                    <a class="nav-link" href="index.html">Home <span class="sr-only">(current)</span></a>
                </li>
                <!-- <li class="nav-item">
                <a id="topfeatures" class="nav-link" href="#">Features</a>
            </li> -->
                <div class="nav-item dropdown">
                    <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
                    命题演算
                </a>
                    <div class="dropdown-menu" aria-labelledby="navbarDropdown">
                        <a id="mp1" class="dropdown-item" href="Pro_calculus/Problem1/index.html">Problem 1</a>
                        <a id="mp2" class="dropdown-item" href="#">Problem 2</a>
                        <div class="dropdown-divider"></div>
                        <a id="mp3" class="dropdown-item" href="#">Problem 3</a>
                    </div>
                </div>
                <div class="nav-item dropdown">
                    <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
                    谓词演算
                </a>
                    <div class="dropdown-menu" aria-labelledby="navbarDropdown">
                        <a class="dropdown-item" href="#">Problem 1</a>
                        <a class="dropdown-item" href="#">Problem 2</a>
                        <div class="dropdown-divider"></div>
                        <a class="dropdown-item" href="#">Problem 3</a>
                    </div>
                </div>
                <!-- <li class="nav-item">
                <a class="nav-link" href="#">Dashboard</a>
            </li> -->
                <li class="nav-item">
                    <a class="nav-link" href="#">Subscribtion</a>
                </li>
            </ul>
            <div class="nav-item dropdown">
                <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
                Documentation
            </a>
                <div class="dropdown-menu" aria-labelledby="navbarDropdown">
                    <a class="dropdown-item" href="img/README.pdf" target="_blank">使用说明</a>
                    <a class="dropdown-item" href="#">Tutorials</a>
                    <div class="dropdown-divider"></div>
                    <a class="dropdown-item" href="#">Server settings</a>
                </div>
            </div>
            <div class="nav-item">
                <a class="nav-link" href="#">About</a>
            </div>
            <button class="btn login-btn btn-outline-accent my-2 my-sm-0" style="font-size: 10px !important;font-family: poppins !important;">LOGIN</button>
        </div>
    </nav>

    <div class="heading">
        <h1 class="display-5 title">It's time to test your Logic skills.</h1>
        <p class="subtitle">This website serves Beihang Mathematical Logic Courses<br />And helps students improve their practical ability in logic calculations.
            <br /><u>目前只开放了 命题演算 - Problem1,   具体使用方法见 Documentation - 使用说明</u></p>
        <a class="btn btn-primary btn-lg" href="#" role="button">Get started</a>
        <a class="btn btn-secondary btn-lg" href="#" role="button">Add to server</a>
        <br /><br /><br /><br /><br /><br />
    </div>
    <div class="features">
        <div class="title">Features of Logic</div>
        <div class="subtitle">Waiting to fill in, the following are all scribbled!</div>
        <div class="cards">
            <div class="card" style="width: 18rem;">
                <div class="card-body">
                    <h5 class="card-title">Future #1</h5>
                    <p class="card-text">Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent ex ante, mattis vel dapibus vel, tempor facilisis justo. Vivamus dignissim ut nisi eu consequat.</p>
                </div>
            </div>
            <div class="card" style="width: 18rem;">
                <div class="card-body">
                    <h5 class="card-title">Future #2</h5>
                    <p class="card-text">Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent ex ante, mattis vel dapibus vel, tempor facilisis justo. Vivamus dignissim ut nisi eu consequat.</p>
                </div>
            </div>
            <div class="card" style="width: 18rem;">
                <div class="card-body">
                    <h5 class="card-title">Future #3</h5>
                    <p class="card-text">Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent ex ante, mattis vel dapibus vel, tempor facilisis justo. Vivamus dignissim ut nisi eu consequat.</p>
                </div>
            </div>
        </div>
    </div>
    <div class="statistics">
        <div class="cards">
            <div class="card statistic" style="width: 18rem;">
                <div class="card-body">
                    <p class="card-title" style="font-size: 50px !important;line-height: 15px !important;letter-spacing: -0.06em !important;font-weight: bold !important;">013</h1>
                        <p style="font-weight: bold !important;font-size: 20px !important;">servers</p>
                </div>
            </div>
            <div class="card statistic" style="width: 18rem;">
                <div class="card-body">
                    <p class="card-title" style="font-size: 50px !important;line-height: 15px !important;letter-spacing: -0.06em !important;font-weight: bold !important;">999</h1>
                        <p style="font-weight: bold !important;font-size: 20px !important;">users</p>
                </div>
            </div>
            <div class="card statistic" style="width: 18rem;">
                <div class="card-body">
                    <p class="card-title" style="font-size: 50px !important;line-height: 15px !important;letter-spacing: -0.06em !important;font-weight: bold !important;">003</h1>
                        <p style="font-weight: bold !important;font-size: 20px !important;">channels</p>
                </div>
            </div>
        </div>
    </div>
    <div class="page_end">
        <div class="start">
            <div class="card">
                <div class="card-body gs-card">
                    <div class="title">Ready to try This?</div>
                    <div class="subtitle">Click navbar and choose a problem!</div>
                    <br />
                    <a class="btn btn-primary btn-lg" href="#" role="button">Get started</a>
                </div><br />
            </div>
        </div>
        <div class="footer">
            <div class="bot-footer">
                <img src="assets/mathword.svg" width="150"><br /> Copyright © [Bodan Chen] - 2021
            </div><br/>
            <div class="nouridio">website designed by <a href="https://github.com/guolalala"> guolalala</a></div>
            </di </div>
            <!-- <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script> -->
            <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>
            <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>
            <script src="js/now-ui-kit.min.js"></script>
</body>

</html>